Optimal. Leaf size=89 \[ \frac {x}{8 d^2 \left (d+e x^2\right )^2}+\frac {5 x}{16 d^3 \left (d+e x^2\right )}+\frac {7 \tan ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )}{16 d^{7/2} \sqrt {e}}+\frac {\tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )}{8 d^{7/2} \sqrt {e}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.05, antiderivative size = 89, normalized size of antiderivative = 1.00, number of steps
used = 6, number of rules used = 6, integrand size = 24, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.250, Rules used = {1164, 425, 541,
536, 214, 211} \begin {gather*} \frac {7 \text {ArcTan}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )}{16 d^{7/2} \sqrt {e}}+\frac {\tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )}{8 d^{7/2} \sqrt {e}}+\frac {5 x}{16 d^3 \left (d+e x^2\right )}+\frac {x}{8 d^2 \left (d+e x^2\right )^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 211
Rule 214
Rule 425
Rule 536
Rule 541
Rule 1164
Rubi steps
\begin {align*} \int \frac {1}{\left (d+e x^2\right )^2 \left (d^2-e^2 x^4\right )} \, dx &=\int \frac {1}{\left (d-e x^2\right ) \left (d+e x^2\right )^3} \, dx\\ &=\frac {x}{8 d^2 \left (d+e x^2\right )^2}-\frac {\int \frac {-7 d e+3 e^2 x^2}{\left (d-e x^2\right ) \left (d+e x^2\right )^2} \, dx}{8 d^2 e}\\ &=\frac {x}{8 d^2 \left (d+e x^2\right )^2}+\frac {5 x}{16 d^3 \left (d+e x^2\right )}+\frac {\int \frac {18 d^2 e^2-10 d e^3 x^2}{\left (d-e x^2\right ) \left (d+e x^2\right )} \, dx}{32 d^4 e^2}\\ &=\frac {x}{8 d^2 \left (d+e x^2\right )^2}+\frac {5 x}{16 d^3 \left (d+e x^2\right )}+\frac {\int \frac {1}{d-e x^2} \, dx}{8 d^3}+\frac {7 \int \frac {1}{d+e x^2} \, dx}{16 d^3}\\ &=\frac {x}{8 d^2 \left (d+e x^2\right )^2}+\frac {5 x}{16 d^3 \left (d+e x^2\right )}+\frac {7 \tan ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )}{16 d^{7/2} \sqrt {e}}+\frac {\tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )}{8 d^{7/2} \sqrt {e}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.04, size = 76, normalized size = 0.85 \begin {gather*} \frac {\frac {\sqrt {d} x \left (7 d+5 e x^2\right )}{\left (d+e x^2\right )^2}+\frac {7 \tan ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )}{\sqrt {e}}+\frac {2 \tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d}}\right )}{\sqrt {e}}}{16 d^{7/2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.15, size = 64, normalized size = 0.72
method | result | size |
default | \(\frac {\frac {\frac {5}{2} e \,x^{3}+\frac {7}{2} d x}{\left (e \,x^{2}+d \right )^{2}}+\frac {7 \arctan \left (\frac {e x}{\sqrt {d e}}\right )}{2 \sqrt {d e}}}{8 d^{3}}+\frac {\arctanh \left (\frac {e x}{\sqrt {d e}}\right )}{8 d^{3} \sqrt {d e}}\) | \(64\) |
risch | \(\frac {\frac {5 e \,x^{3}}{16 d^{3}}+\frac {7 x}{16 d^{2}}}{\left (e \,x^{2}+d \right )^{2}}-\frac {7 \ln \left (-e x -\sqrt {-d e}\right )}{32 \sqrt {-d e}\, d^{3}}+\frac {7 \ln \left (e x -\sqrt {-d e}\right )}{32 \sqrt {-d e}\, d^{3}}+\frac {\ln \left (e x +\sqrt {d e}\right )}{16 \sqrt {d e}\, d^{3}}-\frac {\ln \left (-e x +\sqrt {d e}\right )}{16 \sqrt {d e}\, d^{3}}\) | \(118\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.52, size = 89, normalized size = 1.00 \begin {gather*} \frac {5 \, x^{3} e + 7 \, d x}{16 \, {\left (d^{3} x^{4} e^{2} + 2 \, d^{4} x^{2} e + d^{5}\right )}} + \frac {7 \, \arctan \left (\frac {x e^{\frac {1}{2}}}{\sqrt {d}}\right ) e^{\left (-\frac {1}{2}\right )}}{16 \, d^{\frac {7}{2}}} - \frac {e^{\left (-\frac {1}{2}\right )} \log \left (\frac {x e - \sqrt {d} e^{\frac {1}{2}}}{x e + \sqrt {d} e^{\frac {1}{2}}}\right )}{16 \, d^{\frac {7}{2}}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 146 vs.
\(2 (63) = 126\).
time = 0.38, size = 281, normalized size = 3.16 \begin {gather*} \left [\frac {5 \, d x^{3} e^{2} + 7 \, d^{2} x e + 7 \, {\left (x^{4} e^{2} + 2 \, d x^{2} e + d^{2}\right )} \sqrt {d} \arctan \left (\frac {x e^{\frac {1}{2}}}{\sqrt {d}}\right ) e^{\frac {1}{2}} + {\left (x^{4} e^{2} + 2 \, d x^{2} e + d^{2}\right )} \sqrt {d} e^{\frac {1}{2}} \log \left (\frac {x^{2} e + 2 \, \sqrt {d} x e^{\frac {1}{2}} + d}{x^{2} e - d}\right )}{16 \, {\left (d^{4} x^{4} e^{3} + 2 \, d^{5} x^{2} e^{2} + d^{6} e\right )}}, \frac {10 \, d x^{3} e^{2} + 14 \, d^{2} x e - 4 \, {\left (x^{4} e^{2} + 2 \, d x^{2} e + d^{2}\right )} \sqrt {-d e} \arctan \left (\frac {\sqrt {-d e} x}{d}\right ) - 7 \, {\left (x^{4} e^{2} + 2 \, d x^{2} e + d^{2}\right )} \sqrt {-d e} \log \left (\frac {x^{2} e - 2 \, \sqrt {-d e} x - d}{x^{2} e + d}\right )}{32 \, {\left (d^{4} x^{4} e^{3} + 2 \, d^{5} x^{2} e^{2} + d^{6} e\right )}}\right ] \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 257 vs.
\(2 (82) = 164\).
time = 0.27, size = 257, normalized size = 2.89 \begin {gather*} - \frac {\sqrt {\frac {1}{d^{7} e}} \log {\left (- \frac {20 d^{11} e \left (\frac {1}{d^{7} e}\right )^{\frac {3}{2}}}{371} - \frac {351 d^{4} \sqrt {\frac {1}{d^{7} e}}}{371} + x \right )}}{16} + \frac {\sqrt {\frac {1}{d^{7} e}} \log {\left (\frac {20 d^{11} e \left (\frac {1}{d^{7} e}\right )^{\frac {3}{2}}}{371} + \frac {351 d^{4} \sqrt {\frac {1}{d^{7} e}}}{371} + x \right )}}{16} - \frac {7 \sqrt {- \frac {1}{d^{7} e}} \log {\left (- \frac {245 d^{11} e \left (- \frac {1}{d^{7} e}\right )^{\frac {3}{2}}}{106} - \frac {351 d^{4} \sqrt {- \frac {1}{d^{7} e}}}{106} + x \right )}}{32} + \frac {7 \sqrt {- \frac {1}{d^{7} e}} \log {\left (\frac {245 d^{11} e \left (- \frac {1}{d^{7} e}\right )^{\frac {3}{2}}}{106} + \frac {351 d^{4} \sqrt {- \frac {1}{d^{7} e}}}{106} + x \right )}}{32} - \frac {- 7 d x - 5 e x^{3}}{16 d^{5} + 32 d^{4} e x^{2} + 16 d^{3} e^{2} x^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 2.63, size = 67, normalized size = 0.75 \begin {gather*} \frac {7 \, \arctan \left (\frac {x e^{\frac {1}{2}}}{\sqrt {d}}\right ) e^{\left (-\frac {1}{2}\right )}}{16 \, d^{\frac {7}{2}}} - \frac {\arctan \left (\frac {x e}{\sqrt {-d e}}\right )}{8 \, \sqrt {-d e} d^{3}} + \frac {5 \, x^{3} e + 7 \, d x}{16 \, {\left (x^{2} e + d\right )}^{2} d^{3}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.16, size = 96, normalized size = 1.08 \begin {gather*} \frac {\frac {7\,x}{16\,d^2}+\frac {5\,e\,x^3}{16\,d^3}}{d^2+2\,d\,e\,x^2+e^2\,x^4}+\frac {\mathrm {atanh}\left (\frac {x\,\sqrt {d^7\,e}}{d^4}\right )\,\sqrt {d^7\,e}}{8\,d^7\,e}-\frac {7\,\mathrm {atanh}\left (\frac {x\,\sqrt {-d^7\,e}}{d^4}\right )\,\sqrt {-d^7\,e}}{16\,d^7\,e} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________